This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue readingThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Continue readingGenetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan’s Center ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Continue readingIntroduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Continue readingHeterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
Continue readingThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held ...
Continue readingThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Continue readingHypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...
Continue readingThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Continue readingThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE ...
Continue readingThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Continue readingThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading